Deadlock Avoidance Based on Graph Theory
نویسندگان
چکیده
Deadlock Avoidance remains to be a significant aspect of deadlock research. Modeling approaches based on Graph Theory provide effective strategy to solve this problem. We built avoidance model of directed graph and adjacent matrix via resource allocation graph, proposed three improved algorithm for deadlock avoidance and discussed the implementation of the program. The topology analyze of matrix storage information indicates entire optimization utilization results though certain key vertices and edges, this model verified by the banker’s algorithm and Petri net finally.
منابع مشابه
A Scalable Deadlock Avoidance Policy for Batch Processes
Allocating non-sharable resources for jobs in batch processes can lead to deadlocks. Using colored di-graphs to model the wait-relationship between resources in a job-path, a graph-theoretic approach is proposed to give necessary conditions for the existence of unsafe system states, i.e., allocations that will prevent some jobs from successful execution. Based on these necessary conditions a co...
متن کاملDeadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models
Deadlocks constitute an important issue to he addressed in the design and operation of flexible manufacturing systems (FMS’s). In this paper, we show that prevention and avoidance of FMS deadlocks can he implemented using Petri net models. For deadlock prevention, we use the reachability graph of a Petri net model of the given FMS, whereas for deadlock avoidance, we propose a Petri net-based on...
متن کاملDeadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models
Deadlocks constitute an important issue to he addressed in the design and operation of flexible manufacturing systems (FMS’s). In this paper, we show that prevention and avoidance of FMS deadlocks can he implemented using Petri net models. For deadlock prevention, we use the reachability graph of a Petri net model of the given FMS, whereas for deadlock avoidance, we propose a Petri net-based on...
متن کاملA Literature Review of Deadlock Prevention Policy Based on Petri Nets for Automated Manufacturing Systems
Deadlock is an undesired situation in a highly automated system due to the fact that no system can allow its occurrence which may produce some unnecessary economic losses or serious consequences. There are three mathematical tools to handle deadlocks in resource allocation systems: graph theory, finite state machine, and Petri net. Due to its inherent characteristics, Petri nets are widely appl...
متن کاملPURDUE UNIVERSITY GRADUATE SCHOOL Thesis / Dissertation Acceptance
Abell, Stephen W. MSECE, Purdue University, August 2013. Parallel Acceleration of Deadlock Detection and Avoidance Algorithms on GPUs. Major Professor: Dr. John Jaehwan Lee. Current mainstream computing systems have become increasingly complex. Most of which have Central Processing Units (CPUs) that invoke multiple threads for their computing tasks. The growing issue with these systems is resou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016